How to construct reversal automata